#ifndef __KPRINTF_H__
#define __KPRINTF_H__

#include <types.h>
#include <_va_list.h>

typedef int (*fnptr_t) (unsigned c, void **helper);

int do_printf(const char *fmt, va_list args, fnptr_t fn, void *ptr);

#endif	/* __KPRINTF_H__ */
